An Old World Chisel

Slicing from Formal Semantics: Chisel

We describe Chisel—a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics. This semantics is assumed to be a rewriting logic specification, given in Maude, while the program is a ground term of this specification. We present the tool on two types of language paradigms: high-level, imperative and low-level assembly l...

Old World Econometrics and New World Theory

This paper summarizes recent work on the econometrics of identification in rational expectations models by myself and Andreas Beyer. In this work, we discuss the relationship between structure and reduced form in linear rational expectations models and we apply our analysis to a class of new Keynesian models that are frequently used to inform the policy debate. We argue that the identifying ass...

Old World Monkeys

Old World monkeys, or cercopithecoids, are a diverse and widespread group of primates found throughout Africa and Asia. They are characterised by their specialised molar teeth, quadrupedal running behaviour, often spending more time on the ground than other primates, as well as their often large and complex social groups. They survive inthewidest rangeofhabitatsofanynonhumanprimates, with some ...

Old World Monkeys

Old new world

This spring sees two major anniversaries in the colonial history of Europe: Britain is commemorating the 200th anniversary of the abolition of its until then lucrative but cruel slave trade, and the US marks the 400th anniversary of the first permanent European settlement in Jamestown. The British Museum is also showing a collection of paintings and illustrations it holds, which represent the f...